#include <stdio.h>
#include <unistd.h>
void print2()
{
  printf("Hello world\n");
}
